1. Quantifier elimination and cylindrical algebraic decomposition
Author: B.F. Caviness, J.R. Johnson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
